Luca Cardelli (eds.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 2.76 MB

0 / 0

english, 2001

2

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 4.20 MB

0 / 0

english, 1994

3

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 4.94 MB

0 / 0

english, 2011

4

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luís Caires, Luca Cardelli (auth.), Naoki Kobayashi, Benjamin C. Pierce (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 5.23 MB

0 / 0

english, 2001

5

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 5.68 MB

0 / 0

english, 2011

6

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 5.32 MB

0 / 0

english, 2013

7

Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers

Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96 Linz, Austria, July 8–9, 1996 Selected Presentations and Invited Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Jan Vitek, Christian Tschudin (eds.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 3.64 MB

0 / 0

english, 1997

8

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 4.63 MB

0 / 0

english, 2011

9

Transactions on Computational Systems Biology IV

Transactions on Computational Systems Biology IV

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 3.78 MB

0 / 0

english, 2006

10

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 1.39 MB

0 / 0

english, 1999

11

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Richard Connor, Alberto Mendelzon (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 3.18 MB

0 / 0

english, 2000

12

Advances in Database Technology—EDBT '88: International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings

Advances in Database Technology—EDBT '88: International Conference on Extending Database Technology Venice, Italy, March 14–18, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), J. W. Schmidt, S. Ceri, M. Missikoff (eds.)

წელი:

1988

ენა:

english

ფაილი:

DJVU, 7.88 MB

0 / 5.0

english, 1988

13

Transactions on Computational Systems Biology IV

Transactions on Computational Systems Biology IV

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 3.66 MB

0 / 0

english, 2006

14

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Luca Cardelli (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 4.98 MB

0 / 0

english, 2003

15

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 4.73 MB

0 / 0

english, 2013

16

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Internet Programming Languages: ICCL’98 Workshop Chicago, IL, USA, May 13, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce (auth.), Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 3.35 MB

0 / 0

english, 1999

17

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

წელი:

1994

ენა:

english

ფაილი:

PDF, 7.96 MB

0 / 0

english, 1994

18

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, DBPL’99 Kinloch Rannoch, UK, September 1–3,1999 Revised Papers

Springer-Verlag Berlin Heidelberg

Luca Cardelli (auth.), Richard Connor, Alberto Mendelzon (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 8.94 MB

0 / 0

english, 2000

19

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Giorgio Ghelli (auth.), David Sands (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 4.32 MB

0 / 0

english, 2001